The work includes : extending value - passing ccs to a system description language with strict typing rules ; extending accordingly the definition and generation rules of the basic stga , which makes it suitable for modeling real systems 主要工作如下: ?擴(kuò)展傳值ccs使其成為有嚴(yán)格類型規(guī)則的易于使用的系統(tǒng)描述語言、擴(kuò)充了stga的定義和生成規(guī)則使其適于作為實際系統(tǒng)的計算模型。